Issue5317.agda:13,5-6
(A : Set₀) (@0 A₁ : Set₀) → Set₀
when checking that the expression unquote m has type Set
